Balance Sheets (Parenthetical) - $ / shares	Mar. 31, 2020	Dec. 31, 2019	Dec. 31, 2018	Mar. 31, 2018	Jan. 31, 2018
Condensed Balance Sheets
Common shares subject to possible redemption (in shares)	22,509,588	22,552,141	22,831,030	22,831,030	22,831,030
Common shares subject to possible redemption value (in dollars per share)	$ 10.36	$ 10.36	$ 10.10
Preferred stock, par value (in dollars per share)	$ 0.0001	$ 0.0001	$ 0.0001
Preferred stock, shares authorized	1,000,000	1,000,000	1,000,000
Preferred stock, shares issued	0	0	0	0	0
Preferred stock, shares outstanding	0	0	0	0	0
Common stock, par value (in dollars per share)	$ 0.0001	$ 0.0001	$ 0.0001
Common stock, shares authorized	100,000,000	100,000,000	100,000,000
Common stock, shares issued	7,130,412	7,087,859	6,808,970
Common stock, shares outstanding	7,130,412	7,087,859	6,808,970

Face amount or stated value per share of common stock.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(29))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

+ Details

Name:	us-gaap_CommonStockParOrStatedValuePerShare
Namespace Prefix:	us-gaap_
Data Type:	num:perShareItemType
Balance Type:	na
Period Type:	instant

- Definition

The maximum number of common shares permitted to be issued by an entity's charter and bylaws.

+ References

+ Details

Name:	us-gaap_CommonStockSharesAuthorized
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	instant

- Definition

Total number of common shares of an entity that have been sold or granted to shareholders (includes common shares that were issued, repurchased and remain in the treasury). These shares represent capital invested by the firm's shareholders and owners, and may be all or only a portion of the number of shares authorized. Shares issued include shares outstanding and shares held in the treasury.

+ References

+ Details

Name:	us-gaap_CommonStockSharesIssued
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	instant

- Definition

Number of shares of common stock outstanding. Common stock represent the ownership interest in a corporation.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 505
-SubTopic 10
-Section 50
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=109259400&loc=d3e21463-112644

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(29))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

+ Details

Name:	us-gaap_CommonStockSharesOutstanding
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	instant

- Definition

Face amount or stated value per share of preferred stock nonredeemable or redeemable solely at the option of the issuer.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(28))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

+ Details

Name:	us-gaap_PreferredStockParOrStatedValuePerShare
Namespace Prefix:	us-gaap_
Data Type:	num:perShareItemType
Balance Type:	na
Period Type:	instant

- Definition

The maximum number of nonredeemable preferred shares (or preferred stock redeemable solely at the option of the issuer) permitted to be issued by an entity's charter and bylaws.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(28))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

+ Details

Name:	us-gaap_PreferredStockSharesAuthorized
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	instant

- Definition

Total number of nonredeemable preferred shares (or preferred stock redeemable solely at the option of the issuer) issued to shareholders (includes related preferred shares that were issued, repurchased, and remain in the treasury). May be all or portion of the number of preferred shares authorized. Excludes preferred shares that are classified as debt.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(28))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

+ Details

Name:	us-gaap_PreferredStockSharesIssued
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	instant

- Definition

Aggregate share number for all nonredeemable preferred stock (or preferred stock redeemable solely at the option of the issuer) held by stockholders. Does not include preferred shares that have been repurchased.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(28))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

+ Details

Name:	us-gaap_PreferredStockSharesOutstanding
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	instant

- References

No definition available.

+ Details

Name:	us-gaap_StatementOfFinancialPositionAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount to be paid per share that is classified as temporary equity by entity upon redemption. Temporary equity is a security with redemption features that are outside the control of the issuer, is not classified as an asset or liability in conformity with GAAP, and is not mandatorily redeemable. Includes any type of security that is redeemable at a fixed or determinable price or on a fixed or determinable date or dates, is redeemable at the option of the holder, or has conditions for redemption which are not solely within the control of the issuer. If convertible, the issuer does not control the actions or events necessary to issue the maximum number of shares that could be required to be delivered under the conversion option if the holder exercises the option to convert the stock to another class of equity. If the security is a warrant or a rights issue, the warrant or rights issue is considered to be temporary equity if the issuer cannot demonstrate that it would be able to deliver upon the exercise of the option by the holder in all cases. Includes stock with put option held by ESOP and stock redeemable by holder only in the event of a change in control of the issuer.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 480
-SubTopic 10
-Section S99
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=65877616&loc=d3e177068-122764

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (27)
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

+ Details

Name:	us-gaap_TemporaryEquityRedemptionPricePerShare
Namespace Prefix:	us-gaap_
Data Type:	num:perShareItemType
Balance Type:	na
Period Type:	instant

- Definition

The number of securities classified as temporary equity that have been issued and are held by the entity's shareholders. Securities outstanding equals securities issued minus securities held in treasury. Temporary equity is a security with redemption features that are outside the control of the issuer, is not classified as an asset or liability in conformity with GAAP, and is not mandatorily redeemable. Includes any type of security that is redeemable at a fixed or determinable price or on a fixed or determinable date or dates, is redeemable at the option of the holder, or has conditions for redemption which are not solely within the control of the issuer. If convertible, the issuer does not control the actions or events necessary to issue the maximum number of shares that could be required to be delivered under the conversion option if the holder exercises the option to convert the stock to another class of equity. If the security is a warrant or a rights issue, the warrant or rights issue is considered to be temporary equity if the issuer cannot demonstrate that it would be able to deliver upon the exercise of the option by the holder in all cases. Includes stock with put option held by ESOP and stock redeemable by holder only in the event of a change in control of the issuer.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(27)(b))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

+ Details

Name:	us-gaap_TemporaryEquitySharesOutstanding
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	instant